1. ACM SIGGHI, DIS 2002 : Serious reflection on designing interactive systems : www.sigchi,org/DIS2002 : The British Museum, London, 25-28 June 2002
پدیدآورنده: Nico Macdonald, editor Wendy Mackay, Jonathan Arnowitz and William Gaver, technical program co-chairs
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Human-computer interaction,Congresses ، Computer software -- Development,Congresses ، System design
رده :
QA
76
.
9
.
H85D5
2002
2. Advanced topics in exception handling techniques
پدیدآورنده: Christophe Dony ... ]et al.[ )eds.(
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع: Congresses ، Computer software - Development,Congresses ، System design,Congresses ، Object-oriented programming )Computer science(
رده :
QA
76
.
76
.
D47
A373
3. DIS 2000 : Designing Interactive Systems, Processes, Practices, Methods and Techniques : 17-19 August 2000, New York City : conference proceedings
پدیدآورنده: edited by Daniel Boyarski and Wendy A. Kellogg
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Human-computer interaction,Congresses ، Computer software -- Development,Congresses ، System design
رده :
QA
76
.
9
.
H85D5
2000
4. DIS 2004 : designing interactive systems, Cambridge, Massachusetts, 1-4 August 2004 : accross the spectrum
پدیدآورنده: co-chairs, David Benyon, Paul Moody
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Human-computer interaction,Congresses ، Computer software -- Development,Congresses ، System design
رده :
QA
76
.
9
.
H85D5
2004
5. FM 2005 : formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings
پدیدآورنده: John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer software -- Development,Congresses ، Formal methods )Computer science(,Congresses ، System design
رده :
QA
76
.
L28
Vol
.
3582
6. FME 2002 :
پدیدآورنده: Lars-Henrik Eriksson, Peter Alexander Lindsay (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer software-- Development, Congresses,Formal methods (Computer science), Congresses,System design-- Mathematics, Congresses
رده :
QA76
.
76
.
D47
I593
2002
7. FME 2003 :
پدیدآورنده: Keijiro Araki, Stefania Gnesi, Dino Mandrioli
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer software-- Development, Congresses,Formal methods (Computer science), Congresses,System design-- Mathematics, Congresses
رده :
QA76
.
76
.
D47
I593
2003
8. Information systems development
پدیدآورنده: edited by Olegas Vasilecas ... [et al.].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer software-- Development, Congresses.,Instructional systems-- Design, Congresses.,System design, Congresses.
9. Proceedings of fifth International workshop on Rapid system prototyping
پدیدآورنده: / Sponsored by IEEE computer society Technical committe on Simulation, IEEE computer society Technical committe on test Technology, Association for computing Machinery SIGSIM, workshop editor: Bernard Coutois, program chair and proceedings editor : Nick Kanopoulous
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: System design - congresses,Computer software - Development - congresses
رده :
QA
76
.
9
.
S88I3245
1994
10. Proceedings : shortening the path from specification to prototype
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، System design-- Congresses,، Computer software-- Development-- Congresses
رده :
QA
76
.
9
.
S88
.
I583
11. RSP 2004: 15th IEEE International Workshop on Rapid Systems Prototyping: proceedings: 28-30 June, 2004, Geneva, Switzerland
پدیدآورنده: ]sponsored by IEEE Computer Society Technical Committee on Simulation, IEEE Computer Society technical Committee on Design Automation[
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: Congresses ، System design,Congresses ، Computer simulation,Congresses ، Computer software - Development,Congresses ، Prototypes, Engineering
رده :
QA
76
.
9
.
S88
I583
2004
12. Requirements Engineering with Use Cases. - a Basis for Software Development
پدیدآورنده: Regnell,Bjorn
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع: ، System design -- Congresses,، System analysis -- Congresses,، Computer software -- Development -- Congresses
رده :
QA
76
.
9
.
R46
1999
13. System development and Ada: CRAI Workshop on Software Factories and Ada Capri, Italy, May 1986 : Proceedings
پدیدآورنده: A.N. Habermann, U. Montanari )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، System design,Congresses ، Computer software -- Development,Congresses ، Ada )Computer program language(
رده :
QA
76
.
L28
Vol
.
275
14. Systems development methods for databases, enterprise modeling, and workflow management
پدیدآورنده: edited by Wita Wojtkowski [and others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer software -- Development -- Congresses.,System design -- Congresses.,Workflow management systems -- Congresses.
رده :
QA76
.
9
.
S88
E358
1999
15. Tools and algorithms for the construction and analysis of system
پدیدآورنده: / C.R. Ramakrishnan, Jakob Rehof (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: System design--Congresses,System analysis--Congresses,Computer software--Development--Congresses
رده :
QA
,
76
.
9
,.
S88
,
T33
,
2008
16. Tools and algorithms for the construction and analysis of systems
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: System design ; Congresses. ; Computer software ; Development ; Congresses. ;
17. Tools and algorithms for the construction and analysis of systems :
پدیدآورنده: Tiziana Margaria, Bernhard Steffen, (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer software -- Development -- Congresses.,Electronic data processing -- Distributed processing -- Congresses.,System design -- Congresses.
18. Tools and algorithms for the construction and analysis of systems : Second International Workshop, TACAS'96, Passau, Germany, March 27-29 : proceedings
پدیدآورنده: Tizina Margaria, Bernhard Steffen )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، System design,Congresses ، Computer software -- Development,Congresses ، Electronic data processing -- Distributed processing
رده :
QA
76
.
L28
Vol
.
1055
19. Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS 95, Aarhus, Denmark, May 19-20, 1995 : selected papers
پدیدآورنده: E. Brinksma ... )et al.(, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، System design,Congresses ، Computer software -- Development,Congresses ، Electronic data processing -- Distributed processing
رده :
QA
76
.
L28
V0l
.
1019
20. Tools and algorithms for the construction and analysis of systems : 5th International Conference, TACAS'99, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings
پدیدآورنده: W. Rance Cleaveland )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، System design,Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
1579
